TSTP Solution File: GRA055^2 by DCTP---1.31